We apply an online optimization process based on machine learning to the production of Bose-Einstein condensates. BEC is typically created with an exponential evaporation ramp that is optimal for ergodic dynamics with two-body s-wave interactions and no other loss rates, but likely sub-optimal for real experiments. Through repeated machine-controlled scientific experimentation and observations our ’learner’ discovers an optimal evaporation ramp for BEC production. In contrast to previous work, our learner uses a Gaussian process to develop a statistical model of the (...) relationship between the parameters it controls and the quality of the BEC produced. We demonstrate that the Gaussian process machine learner is able to discover a ramp that produces high quality BECs in 10 times fewer iterations than a previously used online optimization technique. Furthermore, we show the internal model developed can be used to determine which parameters are essential in BEC creation and which are unimportant, providing insight into the optimization process of the system. (shrink)

Theism, according to David O'Connor, has in recent centuries been on trial for its life, the charge being that the existence of so much evil in the world is incompatible with belief in a benevolent creator. But this trial, he claims is incapable of producing a reasoned verdict.

In his paper ‘Has the Ontological Argument Been Refuted?’, 97–110) William F. Vallicella argues that my attempt to show that the Ontological Argument begs the question is unsuccessful. 1 I believe he is wrong about this, but before endeavouring to vindicate my position I must first make clear what precisely is the point at issue between us. The Ontological Argument is not a single argument, but a family of arguments. Newly devised formulations of the argument are frequently put forward by (...) philosophers in an effort to avoid difficulties that have been pointed out in previous versions. As a consequence there is no possibility of a conclusive proof that every form of the argument embodies the same fallacy. Nevertheless, one can, I believe, prove that all the standard versions of the argument embody a certain fallacy and that, given the nature of the argument, it is therefore unlikely that the argument can be formulated in such a way as to avoid this difficulty. What I tried to show in my paper is that the six best-known versions of the argument all beg the question and that they do so at the same point in the argument, namely when it is asserted that it is possible that an absolutely perfect being exists. It is difficult to see how an ontological argument could be formulated without including this claim as one of its premises, since the distinguishing badge of the argument is the inference from the possibility of an absolutely perfect being to its actuality. It must be unlikely then, if my criticism of these six versions is correct, that there is any way of formulating the argument that avoids this fallacy. (shrink)

Abraham Robinson has twice been the initiator of trends in the foundations of mathematics which have later become recognized as profound and important, although they were generally ignored at first: metamathematical problems of algebra and non-standard analysis. This book considers the second topic; before we begin analysis—especially a treatment of the classical theorems of calculus—we need basic results from logic, model theory in particular. Robinson then sketches non-standard arithmetic and proceeds to develop the usual properties and relations of differentiability and (...) integrability of functions, convergence; he then examines general topology in this new context and fortified with these results develops "modern" functional analysis in some detail: measure theory and functions of a real variable, functions of a complex variable, normed and linear spaces, topological groups and some harmonic analysis. The last two chapters cover selected topics in analysis drawn principally from applied mathematics and the history of the calculus with special reference to infinitesimals. Robinson views the development of non-standard mathematics as the renaissance of ideas about infinitesimals as serious topics of mathematical study. Robinson primarily has confined himself to analysis and not attempted to cover non-standard algebraic systems; several important results of Alling concerning non-standard arithmetic and rings of continuous functions appeared too late to be included. Of course, the real test of non-standard analysis will come in allowing us to prove new theorems about standard analysis, but although Robinson does not attempt to do this here—although he has obtained results in this direction—other mathematicians have already begun to do so: the future of this new branch of mathematics already looks secure.—P. J. M. (shrink)

This volume is published concurrently with the one reviewed below and together they unite a number of Quine's previously scattered papers into two compact volumes; this volume deals with his more philosophical work while the other is concerned with more purely technical logical studies. The twenty-one essays cover the period 1934-1964 and none have appeared between hard covers before. Several of the articles—"The ways of paradox," "Foundations of mathematics," "On the application of modern logic," and "Necessary truth"—are essentially popular expositions. (...) The others are generally more restricted in both scope and appeal, and deal with the ontology of the sentential calculus, truth by convention, implicit definition, modal logic, and ontological reduction in the sciences. Several articles concern the philosophy of science directly: "On simple theories of a complex world," "Posits and reality," and "The scope and language of science." This fine collection will be of significant help in presenting the work of a distinguished philosopher to a wider audience, as well as providing the professional with a source of discussion.—P. J. M. (shrink)

Religion and the external world -- Projection, religion, and the external world -- The senses, reason and the imagination -- Realism, meaning and justification : the external world and religious belief -- Modality, projection and realism -- 'Our profound ignorance' : causal realism, and the failure to detect necessity -- Spreading the mind : projection, necessity and realism -- Into the labyrinth : persons, modality, and Hume's undoing -- Value, projection, and realism -- Gilding : projection, value and secondary qualities (...) -- The gold : good, evil, belief and desire -- The golden : relational values, realism and a moral sense. (shrink)

This new edition offers expanded selections from the works of Kongzi, Mengzi, Zhuangzi, and Xunzi ; two new works, the dialogues _Robber Zhi_ and _White Horse_; a concise general introduction; brief introductions to, and selective bibliographies for, each work; and four appendices that shed light on important figures, periods, texts, and terms in Chinese thought.

Subtitled "Studies in Ethical Analysis," this collection of eleven essays, most of which have previously appeared in journals, deals with a number of problems central to modern ethical theory: the emotive interpretation of ethical language, persuasive definitions and their role in ethical reasoning, the cognitive versus emotive conceptions of ethics: many of these problems were first raised and examined by Stevenson in his earlier book Ethics and Language. Other essays are of a less retrospective nature: studies on Moore and Dewey, (...) naturalism and relativism in ethics, and a general discussion of the relations of linguistic analysis to philosophy as a whole. Stevenson is mainly concerned with analytical, as opposed to descriptive, ethics; and he completely avoids the topics of normative ethics except for a brief survey. The approach to ethics is therefore restricted, but there is enough here to interest the philosopher whose main area lies outside of ethics; although it presupposes no acquaintance with the author's previous work, some of the questions on emotivism and persuasive language are more motivated when seen in the context of that work.—P. J. M. (shrink)

For a long while Bayesian techniques in statistics in general, and decision theory in particular, were considered suspect at best, and to be avoided; but now along comes Jeffrey with a system of subjective probability and utility functions determined by the individual's preferences, and a strongly Bayesian approach to decision-making, and by so doing puts the whole matter in a new light and makes it quite important to reassess the prior rejection of Bayesian methods. There are twelve chapters, each with (...) exercises, which begin with the model of deliberation, progress though scaling and ranking desirability, preference and propositional attitudes, thence to probability and measurement of desirability, and finally to induction and confirmation. The author's theory bears some resemblances to that sketched by Ramsey, but it draws somewhat on the later work of Von Neumann and Morgenstern. The author examines probability as viewed both statically—when the agent's attitudes are constant—and dynamically-when desirability and, consequently, probability assignments change. This text is one of the small but growing library of works whose interest is induction and probability theory; in that library, it will occupy an important place.—P. J. M. (shrink)

The aim of the authors is to present a comprehensive study of the basis of intuitionistic mathematics by means of modern meta-mathematical devices. The first author, for whom this book is a capstone of twenty years' work on the subject, contributes three chapters on a formal system of intuitionistic analysis, notions of realizability, and order in the continuum; the second provides an analysis of the intuitionistic continuum. An extensive bibliography which includes references to almost every article on the subject makes (...) this book especially valuable; for those interested in intuitionism and its relations to classical mathematics this work will be essential.—P. J. M. (shrink)

It is the impression of neurologists who deal with cancer patients that the incidence of neurologic complications of cancer is increasing (Posner 1995). ...

This book is a translation of some of the more important parts of the Grundgesetze of Frege: the introduction, the first part of the first volume which gives an exposition of the construction, rules, axioms of Frege's formal system, and two appendices, one of which is from the second volume and gives Frege's analysis of the paradox found by Russell in his system. The editor has provided a long introduction "for those not familiar with Frege," although it will benefit those (...) who have something more than acquaintance with his name as well. Frege's original two-dimensional symbolism has been preserved, but the editor has provided enough discussion in his introduction so as to make the going easier. Next to a complete translation of the Grundgesetze, this work is the most useful introduction to the magnum opus of the nineteenth century's greatest logician.—P. J. M. (shrink)

Hume's 'Natural History of Religion' offers a naturalized account of the causes of religious thought, an investigation into its 'origins' rather than its 'foundation in reason'. Hume thinks that if we consider only the causes of religious belief, we are provided with a reason to suspend the belief. I seek to explain why this is so, and what role the argument plays in Hume's wider campaign against the rational acceptability of religious belief. In particular, I argue that the work threatens (...) a form of fideism which maintains that it is rationally permissible to maintain religious belief in the absence of evidence or of arguments in its favour. I also discuss the 'argument from common consent', and the relative superiority of Hume's account of the origins of religious belief. (shrink)

This rather compendious volume contains twelve articles, eleven of which have been published in the last twenty years; the last, from which the book takes its title, appears in print for the first time. There are four chapters: "Confirmation, Induction, and Rational Belief" contains the paper "Inductive Inconsistencies" as well as "Studies in the Logic of Confirmation"; "Empiricist Criteria of Cognitive Significance" appears in the section "Conceptions of Cognitive Significance"; the very well-known "The Theoretician's Dilemma" appears in the third chapter—"Structure (...) and Function of Scientific Concepts and Theories"—along with "Typological Methods in the Natural and Social Sciences"; "Scientific Explanation," the fourth chapter, contains "Studies in the Logic of Explanation" and "The Logic of Functional Analysis," as well as the title article. "Aspects" runs to nearly book length and is concerned to survey and contribute to the range of scientific explanation—from physics to history. Hempel discusses the Deductive-Nomological approach and compares it to certain forms of Statistical Explanation; the Covering-law Model of Explanation is introduced and defended against proponents of Explanation-by-Concept, Dispositional Explanation, and Genetic Explanation: Hempel asserts that these three can be subsumed under the Covering-law model. The relation of rationality and decision to Explanation, and the related pragmatic aspects of Explanation are also considered. These are postscripts to certain articles which bring their discussions up to date. There are several rather confusing misprints, but overall the presentation is workmanlike. Hempel's contributions in the philosophy of science have been influential and important, and it is gratifying to have the most important of these collected together.—P. J. M. (shrink)

This is the collection of essays presented to Bochenski on his 60th birthday, and it contains, as a mirror of Bochenski's own work, a broad spectrum of studies ranging from formal logic and history of logic, to the philosophy of logic and language, and to the methodology of explanation in Greek philosophy. Of the seventeen articles, these are some of the more important to the reviewer: "Betrachtungen zum Sequenzen Kalkül" by Paul Bernays, which is an extensive study of Gentzen-type formulations (...) of logic; "Remarks on Formal Deduction," H. B. Curry, a further discussion of sequenzen-logics; "Marginalia on Gentzen's Sequenzen Kalkül" by Hughes Leblanc; "Method and Logic in Presocratic Explanation," Jerry Stannard; "On the Logic of Preference and Choice," H. S. Houthakker, a suggestive presentation of decision and utility theory in logical form; "Leibniz's Law in Belief Contexts," Chisholm; "On Ontology and the Province of Logic," R. M. Martin; and "N. A. Vasilev and the Development of Many-valued Logics," G. L. Kline, an important addition to the history of logic. Other contributors are: Storrs McCall, Albert Menne, E. W. Beth, Benson Mates, Ivo Thomas, J. F. Staal, F. R. Barbò, A.-T. Tymieniecka, and N. M. Luyten. There is a bibliography of Bochenski's writings through 1962.—P. J. M. (shrink)

This collection of twenty-three papers from the period 1934-1960 is concerned with formal number theory and syntax, axiomatic set theory, truth functions, and quantification theory. In the first group appear "Concatenation as a basis for arithmetic" and "Definition of substitution," among others; the second includes "Set-theoretic foundations for logic," "On ω-inconsistency," and "Element and number." Quine's important articles "Completeness of the propositional calculus" and "Cores and prime implicants of truth functions" are in the third section; the last one includes "A (...) proof procedure for quantification theory" and "Church's theorem on the decision problem". These are but a few of many important articles. All the articles have been reset in a new, perspicuous type-face which makes study easier. Several important papers which were omitted should, in the reviewer's opinion, have been included, but this is a minor quibble. Quine's stature in modern logic can be gauged by examining these papers.—P. J. M. (shrink)

Multidisciplinary healthcare committees meet regularly to discuss patients’ candidacy for emerging functional neurosurgical procedures, such as Deep Brain Stimulation . Through debate and discussion around the surgical candidacy of particular patients, functional neurosurgery programs begin to mold practice and policy supported both by scientific evidence and clear value choices. These neurosurgical decisions have special considerations not found in non-neurologic committees. The professional time used to resolve these conflicts provides opportunities for the emergence of careful, ethical practices simultaneous with the expansion (...) of therapy applications. (shrink)

Chomsky is widely mentioned in those philosophical circles whose interest centers on the analysis of language, but until now he has really been little read; this new work will remedy that situation. Here Chomsky, building on a presupposed acquaintance with linguistics, provides a stimulating examination of four major areas of linguistic theory: first, generative grammars are studied in their relation to language learning and understanding, then they are further considered as theories of linguistic use and competence; Chomsky here sets out (...) the criteria required for a grammar to be considered adequate—the justification of grammars. The second chapter examines syntactic theory with reference to depth structure and the problem of the relation of syntactic description to the traditional, correct account of how language is used. Depth structures and their import with reference to transformations within grammars are the subject matter of the third chapter. The last section considers, among other problems, the interface between syntax and semantics, especially the problems of degrees of grammaticality. A number of notes which go further into certain topics appear after the main text, and there is a useful bibliography. The main thrust of the book is a syntactical treatment of natural language by using transformational generative grammars as descriptive. Although he suggests empirical tests for the models he has constructed, he does not provide an attempt to fully verify the proposed system. This book will certainly be essential for an understanding of the structure of language viewed from the syntactic point of view.—P. J. M. (shrink)

Although conceived as a textbook, this extraordinary work contains a great deal of material which is either completely new or which has not appeared before in book form. It is intended as an upperlevel text for those with some familiarity with the subject already. After the introduction, there is a long chapter on formal systems which contains new material on algorithms and the theory of definition; epitheory of formal systems is then discussed, followed by an elegant algebraic treatment of logic. (...) Curry then formulates systems for negation and implication in the next two chapters, follows them by quantification theory, and ends with a sketch of modal logic. What distinguishes this from other logic texts which try to cover about the same ground is this: Curry exercises virtually exquisite care in his analysis of some of the more difficult points, variables and substitution, for example, that others often tend to gloss over. Each chapter has a section dealing with supplementary but related topics so as to give the reader some idea where the subject goes. There is an enormous bibliography and hundreds of references, including historical ones; these also increase its scholarly value. The author takes an informal semantical viewpoint about logic—trying to treat meaning as well as form as essential to logic. This view and a pellucid style make things move freely in the most difficult spots; only Curry's occasionally peculiar terminology might be confusing.—P. J. M. (shrink)

As inductive logic and the philosophy of probability theory have become of wider interest, it has become clear that a book of readings in these and related topics would be useful for courses since most of the important articles are scattered and inaccessible. The editors have fashioned an extensive collection of papers in four main areas: the meaning of probability, confirmation theory, simplicity of theories and structures, the justification of induction. Each chapter is preceded by an introduction which sets out (...) the basic problems of the topic under consideration. There are thirty-six papers in all, two-thirds of them in the first and last chapters. The first chapter includes articles by Ramsey, Carnap, Nagel, and Reichenbach. The second chapter is dominated by the work of Hempel, Oppenheim, and Kemeny; the third chapter features a long article by D. J. Hillman which takes as its basis the work of Goodman, and there are other papers by Bunge, Quine, and Barker. The discussion of induction and its justification contains articles by Hume and Mill, but the bulk of the papers are contemporary. There is a bibliography for each chapter at the end of the book.—P. J. M. (shrink)

This is easily the most systematic survey of the foundations of logic and mathematics available today. Although Beth does not cover the development of set theory in great detail, all other aspects of logic are well represented. There are nine chapters which cover, though not in this order, the following: historical background and introduction to the philosophy of mathematics; the existence of mathematical objects as expressed by Logicism, Cantorism, Intuitionism, and Nominalism; informal elementary axiomatics; formalized axiomatics with reference to finitary (...) theory of proof; non-elementary metamathematics, embracing formal syntax and semantics; applications of set theory and topology in metamathematics—especially in the theory of models; recursive function theory; the logical paradoxes; the relation of philosophy of mathematics to general philosophy. This is a mere skeleton of the whole, but it indicates the broad sweep of the work. One unifying feature is the author's use of his "semantic tableau" method of examining the truth or falsity of sentences. Although the author is an Intuitionist, classical metamathematical proof techniques are by no means slighted; they are used throughout much of the book, and are indispensable, of course, when dealing with classical logic. Exercises are scattered throughout and at the end; few of them are trivial. There is a very extensive bibliography, brought up to date from the first edition. This extraordinary book will be of use to logicians as a reference tool and to philosophers trying to survey the field of modern formal logic; its appearance in a fine paper edition is therefore doubly welcome—P. J. M. (shrink)

This paper discusses the metaphor of projection in relation to Hume’s treatment of causal necessity. I argue that the best understanding of projection shows it to be compatible with taking Hume to be a ‘sceptical realist’ about causal necessity, albeit an agnostic one.

P J Crittenden; Thoughts about Locke's Thoughts about Education, Journal of Philosophy of Education, Volume 15, Issue 2, 30 May 2006, Pages 149–160, https://doi.

This monograph is the first really systematic study of the model theory of many-valued logic. The authors develop model theory for systems of logic whose truth-values lie in a compact topological space; the results are analogous to those for two-valued logic—they yield the two valued logics as special cases—but often the methods of proof are more complicated and tend to reveal some of the deep structure of these logics. There is presupposed a fair knowledge of naive set theory and point-set (...) topology, but no knowledge of classical logic is required although it will be of help in seeing the motivation behind various results. The first three chapters are concerned with preliminaries on topology, model theory, and continuous logic. The next chapter examines the relation of elementary equivalence among models, including the downward Skolem-Löwenheim theorem; the fifth chapter contains the generalizations of such classical results as the compactness and upward S-L theorems. The authors specialize their work in the sixth chapter to consider certain particular kinds of models: saturated models, universal models. The last chapter considers classes of models closed under various algebraic operations. There is a bibliography, historical notes, and indices of exercises, symbols, and definitions. This book is the prolegomenon to any future study of many-valued logic.—P. J. M. (shrink)

This is a much-revised edition of the 1941 text; the most significant changes are as follows: sections ## 21-30 are revised into seven and the discussions on validity, truth-functional implication, truth, etc., are revised in form to bring them in line with more modern approaches; the third chapter, except for the terminological changes which pervade the text is essentially unchanged from the original; the last chapter on quantificational inference is much-revised in all but the first few sections. The tone of (...) the book is now very much closer to his Methods of Logic, but the last chapter of the latter covers far more of glimpses ahead than does the corresponding one here.—P. J. M. (shrink)

There have been two recent attempts to disentangle the evidence for the procedures in fourth-century Athens for the enactment and revision of nomoi, by D. M. MacDowell and by M. H. Hansen. I have learned from both, but think that further progress can be made. MacDowell distinguishes five separate measures: The Old Legislation Law, requiring action at a specified time, advance publicity for the new proposal, concurrent repeal of any existing law with which the new proposal conflicts, and a decision (...) by nomothetae who are omomokotes, men who have sworn the dicastic oath : this is described as a παλαις νόμος, and as the law καθ' ν σαν ο πρότεροι νομοθέαι. Replacing that c. 370, the New Legislation Law, no longer requiring action at a specified time, advance publicity, concurrent repeal, or that the nomothetae should be omomokotes: as a result of the change conflicting laws have been enacted, and for some time continuing to the mid 350s commissioners have had to be elected to sort out the conflicts. Still valid in the 350s, the Review Law, requiring an annual epicheirotonia of the laws in four subject divisions in the assembly on 11 Hecatombaeon , advance publicity for new proposals, and at the third assembly after 11 Hecatombaeon the appointment of nomothetae who are omomokotes to decide between the existing laws and the new proposals. (shrink)

This chapter explores Hume's fascinating conclusion to Book I of the _Treatise_. It situates its drama and reflective character against the background of the ascetic morality of Nicolas Malebranche, and tries to make sense of the moves within in this context.

This is a review essay of Richman and Read (eds.) _The New Hume Debate (London: Routledge, 2000). The essay is highly critical of how the debate concerning whether Hume is a causal realist is presently conceived by its opponents, and argues in favour of a _New Hume position.

In this collection the authors have attempted to bring together a number of the essential papers in the subjective interpretation of probability theory; several of them—Borel's "Apropos of a theory on probability" and de Finetti's "Foresight: its logical laws, its subjective sources"—have never appeared before in English. Other articles include Venn's pioneering study as well as the more recent work of Ramsey, Koopman, and Savage. The editors provide an introduction which presents the three basic elements of any subjectivistic theory: probability (...) as degree of belief, the coherence of beliefs of an individual, and the notion of exchangeable events. A bibliography includes references to virtually all the more important works in subjective probability, with special emphasis on the development of the mathematical side of the theory. This anthology belongs on the shelf of any philosopher concerned with inductive logic, statistical inference, or the foundations of probability theory.—P. J. M. (shrink)

For this volume Professor Davis has assembled a number of the most important papers on undecidable propositions, unsolvable problems and computable functions. Several papers appear here in print for the first time: Gödel's remarks at the Princeton Bicentennial Conference on Problems in Mathematics, and Post's paper on Absolutely Unsolvable Problems. Other authors whose work is included are Church, Turing, Rosser, and Kleene. Gödel's classic "On Formally Undecidable Propositions..." appears in a new translation, and all papers have been corrected, many such (...) corrections provided by the original authors. The editor has contributed brief notes preceding each paper, these notes are intended to clarify and otherwise expatiate upon the contents of those articles. A valuable collection both for original source material as well as historical formulations of current problems.—P. J. M. (shrink)

The second volume in the Pittsburgh Series in the Philosophy of Science, this collection of papers covers a wide range of topics: the development of Newton's First Law comes under scrutiny in papers by Hanson and Ellis; Putnam attempts to clarify certain conceptual issues at the foundations of quantum theory; David Hawkins discusses the relation of teleology and thermodynamics from a neo-Aristotelian viewpoint; Morrison examines certain topics in astronomy; empiricism is studied by Feyerabend from a number of aspects, and is (...) found wanting; finally, Rescher looks at the connections of ethical principles and scientific research, with special reference to the goals, means, and standards of proof, and the dissemination of results of the latter. On the whole, a worthy successor to the first volume, just as certain to raise interest within diverse areas of philosophy.—P. J. M. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:American Journal of Philology 123.2 (2002) 257-273 [Access article in PDF] The Colonial Subject in Ovid's Exile Poetry P. J. Davis IN RECENT YEARS ONE FOCUS FOR THE DISCUSSION of Ovid's poetry, including of course the exile poetry, has been its relationship to the Augustan regime. Although employing essentially the same critical assumptions, scholars have divided into more and less conservative camps, arguing for a pro- or anti-Augustan Ovid. (...) 1 However, in the case of the exile poetry at least, this situation has been altered by a chapter in a recent book by Thomas N. Habinek, in which he argues for what might be termed a conservative (i.e., pro-Augustan) reading, but employing forms of argument that, in classical studies at least, are decidedly unconservative. 2 Drawing on the work of the cultural materialists, 3 Habinek draws an analogy between Tristia and Epistulae ex Ponto and later European colonization narratives in order to argue that "Ovid's laments from exile and dispatches from the contact zone of Pontus sentimentalize his own and his readers' involvement in the project of Roman imperialism." 4The suggestion that Ovid's representation of Tomis and the Black Sea region in the first century C.E. has affinities with later European accounts of foreign and especially colonized territories is an intriguing one that clearly merits consideration. Habinek takes the idea still further and suggests that Ovid's mental attitude in Tomis is akin to that of a colonist living in one of the European colonial empires. Indeed, he quotes D. K. Fieldhouse's explanation of the durability of these empires: "The [End Page 257] basis of imperial authority was the mental attitude of the colonist. His acceptance of subordination—whether through a positive sense of common interest with the parent state, or through inability to conceive of any alternative—made empire durable." 5 For us, who are primarily concerned with Ovid, the important issue here is: who is the colonist with whom Ovid is being compared? After all, between the sixteenth and twentieth centuries, across two American continents, Asia, Africa, and Australia, European colonies took many different forms, incorporated many different peoples and embodied widely varying relationships with the metropolitan power. In fact, Fieldhouse's concern here is with the startling character of the American Revolution, for he argues that "loyalty was the norm and rebellion a break with long-established tradition"(1966, 103). For Fieldhouse the colonist whose mental attitude is so important is a male inhabitant of one of Britain's North American colonies in the second half of the eighteenth century. Fieldhouse is not concerned with colonists in general. How appropriate is the situation of this colonist, say, a locally born resident of pre-Revolutionary Boston or New York, as an analogy for that of Ovid among the Tomitans? The resemblance is not immediately striking.Although citing Fieldhouse's analysis of the nascent United States, Habinek makes it clear that in fact he has a very different kind of colony in mind, a colony in which a European power has control over a numerically superior non-European population: "A comparable claim can be made with regard to the agents of Roman imperialism—soldiers, administrators, and culture workers alike—especially as the Roman system was transformed during the Augustan age from what Conrad's Marlow called 'merely a squeeze' to a colonial system of pacification backed up by an idea, namely, the superiority of Roman culture to that of its subject populations." 6 The use of the phrase "White Man's Burden" 7 as the title for this section of the chapter and the reference to Joseph Conrad's Heart of Darkness 8 suggest that Habinek conceives of Roman Moesia as [End Page 258] analogous to one of Britain's twentieth-century Asian or African colonies. How appropriate is this analogy? No doubt there were soldiers and administrators in the province. Indeed, Ex Ponto 4.7 is addressed to Julius Vestalis, prefect of the maritime coast, 9 while 4.9 refers to L. Pomponius Flaccus, who had held... (shrink)

This rigorous treatment of elementary logic can best be characterized by noting that it relies heavily on semantical analyses of systems of logic running from the propositional calculus right through to a system of second-order arithmetic. The first chapter covers a multiplicity of topics: the concept of consequence, proofs and calculi, the symbolization of mathematical propositions. Hermes then painstakingly constructs quantification theory: first, the language itself, then its semantics; he then presents a completely set up predicate calculus, giving special attention (...) to derivability and decidability problems; a long, well-worked out completeness proof along the lines of Henkin is given, and some of its consequences are drawn out. Hermes then constructs a system of arithmetic in second-order logic, where he is especially concerned with categoricity of its interpretations. The last chapter provides further material on the functional calculus of first order: extended predicate calculi, normal forms for expressions. Excepting for a very few passages, this book should be accessible to everyone interested in formal logic.—P. J. M. (shrink)

The full-text of this article is not currently available in ORA, but you may be able to access the article via the publisher copy link on this record page. Citation: Kail, P. J. E. . 'Naturalism, method and genealogy in Beyond Selflessness', European Journal of Philosophy, 17, 113-120. Copyright © 2009 Blackwell Publishing Ltd.